Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

نویسندگان

  • Michael Kohlhase
  • Romeo Anghelache
چکیده

We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of cvs is generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Information Society Technologies (ist) Programme Project Ist-2001-33562 Mowgli Report N. D5.a Distributed Knowledge Management and Version Control

We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a CVS-like version control and distribution model. This architecture extends the CVS architecture in two ways, m...

متن کامل

Engineering Mathematical Knowledge

Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS and CDET. That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathematical constructs. This reaches beyond mathematics and thus fosters integration of mathematical content into a ...

متن کامل

The CD-Lomas project: an RCP-based Collaborative Distributed Learning Object Management System

In this paper we describe a SCORM conformant system, named CDLOMAS (Collaborative Distributed Learning Object MAnagement System), which is evolving towards an RCP architecture. The proposed system supports the creation of a community of users which shares and collaboratively creates contents in a highly distributed environment. Artifact management features, such as coordination of cooperative c...

متن کامل

knowledge production through collaborative management research

Recently, literature around the theme of collaborative management research has grown considerably. According to the definition of collaborative management research, two components are connected to each other in this context; managers of organizations and academic researchers. In literature, many authors claim that the relationship between these two components could lead to significant advantage...

متن کامل

The Effects of Collaborative Translation Task on the Apology Speech Act Production of Iranian EFL Learners

The present study aims to investigate the relative effectiveness of different types of pragmatic instruction including two collaborative translation tasks and two structured input tasks with and without explicit pragmatic instruction on the production of apologetic utterances by low-intermediate EFL learners. One hundred and fifty university students in four experimental groups and one control ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003